Философский энциклопедический словарь - тождества закон
Связанные словари
Тождества закон
тождества закон
— закон логики, согласно к-рому в процессе рассуждения каждое осмысленное выражение (понятие, суждение) должно употребляться в одном и том же смысле. Предпосылкой его выполнимости является возможность различения и отождествления тех объектов, о к-рых идет речь в данном рассуждении. На деле, однако, такое различение и отождествление не всегда возможно (Различие, Тождество). Т. з. предполагает поэтому некоторую идеализацию действительного характера тех объектов, о к-рых идет речь в данном рассуждении (отвлечение от их развития и изменения), правомерность чего вытекает из факта относительной устойчивости явлений объективного мира.
Рейтинг статьи:
См. в других словарях
1.
в логике закон, согласно которому в процессе рассуждения любая законченная мысль (суждение, выражение) должна употребляется в одном и том же смысле. Непреложность закона тождества в исчислениях высказываний выражается теоремой: если при утверждении высказывания отрицается закон тождества, то тем самым отрицается и утверждение этого высказывания. На практике закон тождества предполагает некую идеализацию действительного характера тех объектов, о которых идет речь в данном высказывании, отвлечение от их развития и изменения, но это правомерно вследствие относительной устойчивости всех явлений в мире. ...Философский энциклопедический словарь
2.
(лат. lex identitatis) в логике высказываний, закон постоянства высказываний: любая законченная мысль (суждение), выраженная в определ. форме высказывания и имеющая определ. истинностное значение, должна сохранять свою первонач. форму и своё значение в нек-ром известном заранее или подразумеваемом контексте. Для переменных в исчислении высказываний контекст действия Т. з. не фиксирован и не ограничен, а в приложениях логики (в моделях) он определяется ролью высказываний относительно модели. Этой особенностью Т. з. обусловлен, в частности, и выбор параметров при переводе с естеств. языка на язык логики: в пределах данного перевода каждый параметр может заменять только одно высказываниеконстанту, а разные высказыванияконстанты должны заменяться разными параметрами. Непреложность Т. з. в классич. и интуиционистском исчислениях высказываний выразима теоремой: если при утверждении высказывания отрицается Т. з., то тем самым отрицается и утверждение этого высказывания. В логике предикатов Т. з. полностью сохраняется для той её части, к-рая совпадает с логикой высказываний, а для универсума подразумеваемой модели вводится...Советский философский словарь
3.
логический закон, согласно которому всякое высказывание влечет (имплицирует) само себя. Внешне это самый простой из логических законов. Его можно передать так: если высказывание истинно, то оно истинно. Напр.: "Если трава зеленая, то она зеленая", "Если трава черная, то она черная". Т. з. выражает идею, что каждое высказывание является необходимым и достаточным условием своей собственной истинности. С применением символики логической закон записывается так (р некоторое высказывание; -> импликация, "если, то"): если р, то р. Иногда Т. з. именуется формула с эквивалентностью (= "если и только если"): Р = Р, р в том и только том случае, если р. Т. з. принято называть и принципы аналогичного содержания, относящиеся не к высказываниям, а к именам (A некоторое имя): "Всякое A есть A" и "Некоторые A есть A". Напр.: "Всякий человек есть человек", "Некоторые квадраты это квадраты". "Некоторые" здесь означает "по меньшей мере некоторые, а может быть, и все", но не "только некоторые, но не все". Принцип "Всякое А есть A" иногда называют аристотелевски м Т. з. Традиционная ошибка, связанная с Т. з., подмена его требованием устойчивости,...Словарь по логике
Вопрос-ответ:
Ссылка для сайта или блога:
Ссылка для форума (bb-код):
Самые популярные термины
1 | 2506 | |
2 | 2322 | |
3 | 1991 | |
4 | 1977 | |
5 | 1927 | |
6 | 1830 | |
7 | 1725 | |
8 | 1660 | |
9 | 1641 | |
10 | 1507 | |
11 | 1426 | |
12 | 1390 | |
13 | 1383 | |
14 | 1379 | |
15 | 1251 | |
16 | 1073 | |
17 | 1064 | |
18 | 1060 | |
19 | 1036 | |
20 | 964 |